#include <stdio.h>
#include <string.h>
void main()
{
    char str[10]="12345";
    gets(str);
    strcat(str,"def");
    printf("%s\n",str);
}